Annotations for Synchronization Constraints in Corba Idl
نویسندگان
چکیده
Most distributed applications require mechanisms for the synchronization of cooperating components. In a CORBA application this functionality is currently hidden in the methods of the server objects. This complicates design, validation and maintenance of distributed applications. To improve this situation we propose guards and concurrency annotations for the CORBA IDL. Our approach allows the explicit description of synchronization constraints as extension to the object interface deenition with the advantage of increased transparency and the potential for automated checking and reasoning. The annotations are included as IDL comments to ensure compatibility with the CORBA standard. Additionally the concept for an automated generation of method frames containing synchronization code is outlined.
منابع مشابه
Design Patterns for Synchronization Adapters of Corba Objects
Standard middleware platforms offer Interface definition languages (IDLs) to achieve component interoperability in a heterogeneous computing context. IDLs serve to specify module and interface names, as well as operation signatures. The simplicity of IDLs ensures that they are applicable to a wide range of application domains, can be mapped to a wide variety of implementation languages, and are...
متن کاملModeling Interface Definition Language Extensions
Interface definition languages serve to specify module and interface names, as well as opemtion signatures. However, IDLs lack means to express aspects, such as synchronization constraints, preand post conditions, invariants, quality of service annotations, and real-time annotations. We develop a framework to specify the interface definition language and a given IDL extension in a combined mode...
متن کاملODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z
The reference model of Open Distributed Processing (ODP) prescribes the use of a number of viewpoints (i.e. partial specifications). Specifications written in these viewpoints are likely to use different notations, e.g. the Computational Viewpoint is likely to include descriptions given in CORBA IDL, whilst the Information Viewpoint might well use a schemabased notation such as Z. To support su...
متن کاملA Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL
Middleware platforms such as CORBA and DCOM provide standard component interfaces, interaction protocols, and communication services to support interoperability of object{oriented applications operating in heterogeneous and distributed environments. General{purpose services and facilities foster re{use and help reduce development costs. Yet the degree of automation of the software development p...
متن کاملA formal notation and tool for the engineering of CORBA systems
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behavior of objects in an abstract an...
متن کامل